Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
711	Simulation-based development of automotive control software with Modelica Emmanuel Chrisofakis, Dr. Anton Rink, Daimler AG Dr. Andreas Junghanns, QTronic GmbH Christian Kehrer, ITI GmbH 8th International Modelica Confere Add to Reading List Source URL: www.qtronic.de Language: English - Date: 2011-04-01 10:10:36 Software Computing Modelica SimulationX Dymola Daimler AG Functional Mock-up Interface JModelica.org Simulation software Application software Object-oriented programming
712	Semantic Bidirectionalization Revisited Meng Wang Shayan Najd Computer Science and Engineering Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2015-02-28 19:38:47 Functional programming Type theory Data types Higher-order functions Generic programming Type class Bidirectionalization Function ALGOL 68 Software engineering Computing Computer programming
713	SAMPLE CHAPTER DEEP DIVES EDITORS Tomas Petricek Phillip Trelford ● Add to Reading List Source URL: manning.com Language: English - Date: 2015-07-19 10:22:09 Functional languages Object-oriented programming Software development methodology MATLAB Programming language Functional programming Computer programming Geographic information system Linear programming Software Computing Programming paradigms
714	Language and Framework Support for ReviewablySecure Software Systems Adrian Mettler Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-12-13 23:57:05 Form Java Functional programming Computing Cross-platform software Web application framework
715	Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Computer arithmetic Functional languages Racket Floating point Computing Software engineering Computer programming
716	FoCaLiZe Reference ManualOctober 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:13:51 Cross-platform software Procedural programming languages Coq Compiler OCaml Programming language Formal methods C Logic programming Software Computing Functional languages
717	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
718	Language and Program Design for Functional Dependencies Mark P. Jones Iavor Diatchki Portland State University Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-10-02 11:00:21 Data types Type theory Functional programming Data modeling Database constraints Type class Monad Type system Functional dependency Software engineering Computing Computer programming
719	Mint: A Multi-stage Extension of Java COMP 600 Mathias Ricken Rice University February 8, 2010 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-02-09 20:56:36 Functional programming Subroutines C++ Procedural programming languages C++ classes Lambda C Anonymous function C Sharp syntax Software engineering Computer programming Computing
720	Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Continuations Control flow Web application frameworks Functional languages Cross-platform software Web service Frame Call-with-current-continuation Seaside Computing Software engineering Computer programming

UPDATE